DE

Results: 1916769



#Item
691

Privacyverklaring Laatste updateIn deze Privacyverklaring hebben de met hoofdletters aangegeven definities de betekenis zoals aangegeven in de Algemene Voorwaarden (https://bitvavo.com/terms) tenzij uitdrukke

Add to Reading List

Source URL: bitvavo.com

Language: Dutch - Date: 2018-08-30 08:37:33
    692Computing / Software engineering / Formal methods / Software / Theoretical computer science / Simulation software / Visual programming languages / Numerical software / Simulink / SIGNAL / Autopilot / Formal verification

    Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University

    Add to Reading List

    Source URL: www.falkhowar.de

    Language: English - Date: 2018-09-30 08:43:02
    693

        COMMUNIQUE DE PRESSE 

    Add to Reading List

    Source URL: ksacc.panter.ch

    Language: French - Date: 2018-01-11 12:24:32
      694

      STANDARD CHARTERED BANK - SUCURSAL DE MACAU 渣打銀行澳門分行 BALANÇO EM 30 DE JUNHO DE 2017

      Add to Reading List

      Source URL: www.sc.com

      Language: Portuguese - Date: 2017-09-15 02:27:33
        695

        MINISTRO DE HACIENDA Y AUTORIDADES DEL MERCADO FINANCIERO INAUGURARON HOY EL MES DE LA EDUCACIÓN FINANCIERA 1 de octubre deCon la presencia del Ministro de Hacienda, Felipe Larraín; del Presidente del Banco Cent

        Add to Reading List

        Source URL: www.cmfchile.cl

        Language: Spanish - Date: 2018-10-25 17:06:59
          696Algebra / Abstract algebra / Mathematics / Algebraic geometry / Divisor / Coherent sheaf / Sheaf cohomology / Noetherian ring / Algebraic K-theory / K-theory / Cohomology / Finite morphism

          Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–172) ON NEGATIVE ALGEBRAIC K -GROUPS Moritz Kerz

          Add to Reading List

          Source URL: eta.impa.br

          Language: English - Date: 2018-07-25 13:17:43
          697

          MARITIM Parkhotel Mannheim FriedrichsplatzMannheim

          Add to Reading List

          Source URL: www.vpp-patent.de

          Language: German - Date: 2018-08-21 03:42:34
            698Software engineering / Computer programming / Programming language theory / Functional languages / Proof assistants / Procedural programming languages / Logic in computer science / Type theory / Isabelle / Logic for Computable Functions / Standard ML / ML

            PDF Document

            Add to Reading List

            Source URL: isabelle.in.tum.de

            Language: English - Date: 2018-08-15 07:18:50
            699Economy / Money / Finance / Credit cards / Anti-competitive behaviour / Interchange fee / Visa Inc. / Mastercard / Delivery Multimedia Integration Framework / Price fixing / Cartel

            Wettbewerbskommission WEKO Commission de la concurrence COMCO Commissione della concorrenza COMCO Competition Commission COMCO Translation of the Decision of the Competition Commission from 25. January 2010

            Add to Reading List

            Source URL: www.weko.admin.ch

            Language: English
            700Mathematical logic / Mathematics / Logic / Model theory / Predicate logic / Quantification / Quantifier / First-order logic / Definable set / FO / Grbner basis / Real closed field

            (Mostly Real) Quantifier Elimination Thomas Sturm AVACS Autumn School, Oldenburg, Germany, October 1, 2015 http://www.mpi-inf.mpg.de/~sturm/

            Add to Reading List

            Source URL: www.avacs.org

            Language: English - Date: 2015-10-05 02:59:04
            UPDATE